Point_0_Delta_0.10000_runnerUp_1, SAT, 159723, 00:02:39, 31, 458
Point_0_Delta_0.07500_runnerUp_1, SAT, 323683, 00:05:23, 38, 731
Point_0_Delta_0.05000_runnerUp_1, SAT, 31589, 00:00:31, 25, 63
Point_0_Delta_0.02500_runnerUp_1, UNSAT, 191495, 00:03:11, 16, 362
Point_0_Delta_0.02500_runnerUp_2, UNSAT, 242455, 00:04:02, 20, 472
Point_0_Delta_0.02500_runnerUp_3, UNSAT, 177490, 00:02:57, 13, 338
Point_0_Delta_0.02500_runnerUp_4, UNSAT, 233774, 00:03:53, 25, 438
Point_0_Delta_0.01000_runnerUp_1, UNSAT, 37301, 00:00:37, 8, 48
Point_0_Delta_0.01000_runnerUp_2, UNSAT, 17748, 00:00:17, 6, 30
Point_0_Delta_0.01000_runnerUp_3, UNSAT, 6721, 00:00:06, 3, 8
Point_0_Delta_0.01000_runnerUp_4, UNSAT, 15501, 00:00:15, 6, 28
Point_1_Delta_0.10000_runnerUp_1, UNSAT, 2030117, 00:33:50, 31, 4100
Point_1_Delta_0.10000_runnerUp_2, UNSAT, 2366883, 00:39:26, 47, 4488
Point_1_Delta_0.10000_runnerUp_3, UNSAT, 2256936, 00:37:36, 34, 4416
Point_1_Delta_0.10000_runnerUp_4, UNSAT, 2427536, 00:40:27, 34, 4004
Point_1_Delta_0.07500_runnerUp_1, UNSAT, 277715, 00:04:37, 21, 574
Point_1_Delta_0.07500_runnerUp_2, UNSAT, 350747, 00:05:50, 23, 878
Point_1_Delta_0.07500_runnerUp_3, UNSAT, 346148, 00:05:46, 22, 838
Point_1_Delta_0.07500_runnerUp_4, UNSAT, 452709, 00:07:32, 39, 1030
Point_1_Delta_0.05000_runnerUp_1, UNSAT, 90060, 00:01:30, 13, 164
Point_1_Delta_0.05000_runnerUp_2, UNSAT, 64280, 00:01:04, 11, 118
Point_1_Delta_0.05000_runnerUp_3, UNSAT, 95792, 00:01:35, 21, 232
Point_1_Delta_0.05000_runnerUp_4, UNSAT, 95433, 00:01:35, 15, 162
Point_1_Delta_0.02500_runnerUp_1, UNSAT, 14613, 00:00:14, 6, 20
Point_1_Delta_0.02500_runnerUp_2, UNSAT, 24479, 00:00:24, 8, 38
Point_1_Delta_0.02500_runnerUp_3, UNSAT, 15569, 00:00:15, 7, 20
Point_1_Delta_0.02500_runnerUp_4, UNSAT, 16209, 00:00:16, 6, 22
Point_1_Delta_0.01000_runnerUp_1, UNSAT, 2624, 00:00:02, 1, 2
Point_1_Delta_0.01000_runnerUp_2, UNSAT, 3661, 00:00:03, 1, 2
Point_1_Delta_0.01000_runnerUp_3, UNSAT, 2658, 00:00:02, 1, 2
Point_1_Delta_0.01000_runnerUp_4, UNSAT, 2705, 00:00:02, 1, 2
Point_2_Delta_0.10000_runnerUp_1, UNSAT, 264607, 00:04:24, 26, 550
Point_2_Delta_0.10000_runnerUp_2, UNSAT, 255209, 00:04:15, 18, 422
Point_2_Delta_0.10000_runnerUp_3, UNSAT, 230189, 00:03:50, 19, 436
Point_2_Delta_0.10000_runnerUp_4, UNSAT, 307272, 00:05:07, 20, 562
Point_2_Delta_0.07500_runnerUp_1, UNSAT, 99709, 00:01:39, 18, 198
Point_2_Delta_0.07500_runnerUp_2, UNSAT, 58186, 00:00:58, 10, 100
Point_2_Delta_0.07500_runnerUp_3, UNSAT, 222430, 00:03:42, 14, 396
Point_2_Delta_0.07500_runnerUp_4, UNSAT, 156897, 00:02:36, 13, 274
Point_2_Delta_0.05000_runnerUp_1, UNSAT, 39055, 00:00:39, 10, 56
Point_2_Delta_0.05000_runnerUp_2, UNSAT, 21064, 00:00:21, 8, 38
Point_2_Delta_0.05000_runnerUp_3, UNSAT, 29412, 00:00:29, 8, 52
Point_2_Delta_0.05000_runnerUp_4, UNSAT, 34001, 00:00:34, 7, 52
Point_2_Delta_0.02500_runnerUp_1, UNSAT, 18078, 00:00:18, 5, 22
Point_2_Delta_0.02500_runnerUp_2, UNSAT, 17876, 00:00:17, 6, 26
Point_2_Delta_0.02500_runnerUp_3, UNSAT, 16062, 00:00:16, 5, 24
Point_2_Delta_0.02500_runnerUp_4, UNSAT, 20642, 00:00:20, 7, 34
Point_2_Delta_0.01000_runnerUp_1, UNSAT, 2996, 00:00:02, 1, 1
Point_2_Delta_0.01000_runnerUp_2, UNSAT, 2006, 00:00:02, 0, 0
Point_2_Delta_0.01000_runnerUp_3, UNSAT, 2206, 00:00:02, 0, 0
Point_2_Delta_0.01000_runnerUp_4, UNSAT, 1743, 00:00:01, 0, 0
Point_3_Delta_0.10000_runnerUp_1, SAT, 2534, 00:00:02, 4, 4
Point_3_Delta_0.07500_runnerUp_1, SAT, 1192588, 00:19:52, 32, 2623
Point_3_Delta_0.05000_runnerUp_1, SAT, 1463480, 00:24:23, 33, 4633
Point_3_Delta_0.02500_runnerUp_1, UNSAT, 180503, 00:03:00, 17, 346
Point_3_Delta_0.02500_runnerUp_2, UNSAT, 242946, 00:04:02, 26, 458
Point_3_Delta_0.02500_runnerUp_3, UNSAT, 185914, 00:03:05, 16, 344
Point_3_Delta_0.02500_runnerUp_4, UNSAT, 179645, 00:02:59, 16, 334
Point_3_Delta_0.01000_runnerUp_1, UNSAT, 2982, 00:00:02, 2, 4
Point_3_Delta_0.01000_runnerUp_2, UNSAT, 3843, 00:00:03, 3, 6
Point_3_Delta_0.01000_runnerUp_3, UNSAT, 3264, 00:00:03, 2, 4
Point_3_Delta_0.01000_runnerUp_4, UNSAT, 1578, 00:00:01, 1, 2
Point_4_Delta_0.10000_runnerUp_1, UNSAT, 4084643, 01:08:04, 37, 10058
Point_4_Delta_0.10000_runnerUp_2, UNSAT, 4728499, 01:18:48, 34, 10378
Point_4_Delta_0.10000_runnerUp_3, UNSAT, 4295358, 01:11:35, 34, 10568
Point_4_Delta_0.10000_runnerUp_4, UNSAT, 4345909, 01:12:25, 31, 9410
Point_4_Delta_0.07500_runnerUp_1, UNSAT, 1157706, 00:19:17, 29, 2534
Point_4_Delta_0.07500_runnerUp_2, UNSAT, 1244983, 00:20:44, 28, 2872
Point_4_Delta_0.07500_runnerUp_3, UNSAT, 12653264, 03:30:53, 26, 3224
Point_4_Delta_0.07500_runnerUp_4, UNSAT, 1352151, 00:22:32, 27, 3046
Point_4_Delta_0.05000_runnerUp_1, UNSAT, 352695, 00:05:52, 19, 770
Point_4_Delta_0.05000_runnerUp_2, UNSAT, 501398, 00:08:21, 19, 798
Point_4_Delta_0.05000_runnerUp_3, UNSAT, 346395, 00:05:46, 20, 792
Point_4_Delta_0.05000_runnerUp_4, UNSAT, 440210, 00:07:20, 20, 948
Point_4_Delta_0.02500_runnerUp_1, UNSAT, 43470, 00:00:43, 11, 80
Point_4_Delta_0.02500_runnerUp_2, UNSAT, 64445, 00:01:04, 10, 110
Point_4_Delta_0.02500_runnerUp_3, UNSAT, 86890, 00:01:26, 13, 144
Point_4_Delta_0.02500_runnerUp_4, UNSAT, 102023, 00:01:42, 14, 182
Point_4_Delta_0.01000_runnerUp_1, UNSAT, 1599, 00:00:01, 0, 0
Point_4_Delta_0.01000_runnerUp_2, UNSAT, 1955, 00:00:01, 0, 0
Point_4_Delta_0.01000_runnerUp_3, UNSAT, 1528, 00:00:01, 0, 0
Point_4_Delta_0.01000_runnerUp_4, UNSAT, 7474, 00:00:07, 2, 4
